OntoMerge: A System for Merging DL-Lite Ontologies
نویسندگان
چکیده
This paper proposes a novel approach to merging DL-Lite ontologies by utilising an alternative semantic characterisation instead of classical DL models. It is shown that the complexity of our merging operators is on the same level as the complexity of propositional belief merging. Moreover, a new algorithm is developed for transforming the reasoning problem of DL-Lite merging into the evaluation of Quantified Boolean Formulas (QBFs). We present our system OntoMerge, which can effectively verify the logical consequences of merging multiple ontologies, without first computing the merging result.
منابع مشابه
A Semantic Approach to Ontology Merging in DL-Lite
This paper proposes a novel approach to merging DL-Lite ontologies by utilising an alternative semantic characterisation instead of classical DL models. The new merging process consists of two operators (TBox merging and ABox merging). These operators satisfy several desirable properties for merging, which in turn demonstrates the suitability of the new approach to DL-Lite merging. It is shown ...
متن کاملModularity in DL-Lite
We develop a formal framework for modular ontologies by analysing four notions ofconservative extension and their applications in refining, re-using, merging, and segment-ing ontologies. For two members of the DL-Lite family of description logics, we proveimportant meta-properties of these notions such as robustness under joins, vocabularyextensions, and iterated import of o...
متن کاملTowards Temporal Fuzzy Query Answering on Stream-based Data
For reasoning over streams of data ontology-based data access is a common approach. The method for answering conjunctive queries (CQs) over DL-Lite ontologies in this setting is by rewritings of the query and evaluation of the resulting query by a data base engine. For streambased applications the classical expressivity of DL-Lite lacks means to handle fuzzy and temporal information. In this pa...
متن کاملOntology Translation by Ontology Merging and Automated Reasoning
Ontology translation is one of the most difficult problems that webbased agents must cope with. An ontology is a formal specification of a vocabulary, including axioms relating its terms. Ontology translation is best thought of in terms of ontology merging. The merge of two related ontologies is obtained by taking the union of the terms and the axioms defining them. We add bridging axioms not o...
متن کاملHigh Performance Query Answering over DL-Lite Ontologies
Current techniques for query answering over DL-Lite ontologies have severe limitations in practice, since they either produce complex queries that are inefficient during execution, or require expensive data pre-processing. In light of this, we present two complementary sets of results that aim at improving the overall peformance of query answering systems. We show how to create ABox repositorie...
متن کامل